Injecting the How into the What: Investigating a Finite Classical Logic
نویسندگان
چکیده
Computer scientists routinely design algorithms to efficiently solve problems found in nature. The resulting algorithms encapsulate the original problem as well as extra information about how to solve that problem; thus, nature’s original description that says what the problem is has been augmented with information about how to solve it. In this paper, we investigate the automation of this process by concentrating on declarative languages, arguing that certain classes of declarative languages encode more information about how to solve a problem than others, and demonstrating techniques for automatically translating between two languages separated in the what-to-how spectrum.
منابع مشابه
Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
In computer science, scenarios with interacting agents are often developed using modal logic. We show how to interpret modal logic of knowledge in relation algebra. This allows the use of the RelView tool for the purpose of investigating finite models and for visualizing certain properties. Our approach is illustrated with the well-known ‘muddy children’ puzzle using modal logic of knowledge. W...
متن کاملModeling Time Resolved Light Propagation Inside a Realistic Human Head Model
Background: Near infrared spectroscopy imaging is one of the new techniques used for investigating structural and functionality of different body tissues. This is done by injecting light into the medium and measuring the photon intensity at the surface of the tissue.Method: In this paper the different medical applications, various imaging and simulation techniques of NIRS imaging is described. ...
متن کاملNeoliberalism 4.0: The Rise of Illiberal Capitalism; Comment on “How Neoliberalism Is Shaping the Supply of Unhealthy Commodities and What This Means for NCD Prevention”
Neoliberal logic and institutional lethargy may well explain part of the reason why governments pay little attention to how their economic and development policies negatively affect health outcomes associated with the global diffusion of unhealthy commodities. In calling attention to this the authors encourage health advocates to consider strategies other than just regu...
متن کاملThe Semantics of Fuzzy Logics: Two Approaches to Finite Tomonoids
Fuzzy logic generalises classical logic; in addition to the latter’s truth values “false” and “true”, the former allows also intermediary truth degrees. The conjunction is, accordingly, interpreted by an operation acting on a chain, making the set of truth degrees into a totally ordered monoid. We present in this chapter two different ways of investigating this type of algebras. We restrict to ...
متن کاملClassical Wavelet Transforms over Finite Fields
This article introduces a systematic study for computational aspects of classical wavelet transforms over finite fields using tools from computational harmonic analysis and also theoretical linear algebra. We present a concrete formulation for the Frobenius norm of the classical wavelet transforms over finite fields. It is shown that each vector defined over a finite field can be represented as...
متن کامل